Service based Software Specification
نویسندگان
چکیده
Nowadays the term of a “service” is frequently used in the discipline of modelling distributed system. However, it seems that the meaning of a service varies, depending on the domain it is used in. In this article we describe what various perceptions of the term “service” have in common and derive a formally founded definition of services that helps to specify services precisely in the context of components. We furthermore point out the differences between common terms like services, components and interfaces, describe some advantages of services and define a foundation for service based specification.. We close with a small example how services are defined and used.
منابع مشابه
Semantic and Syntactic modeling of component-based services for context-aware pervasive systems using OWL-S
In this paper, we present a service design methodology and specification as a basis for a pervasive context-aware service infrastructure. The service specification is based on the OWL-s specification, a standard proposed to add a semantic layer on top of WSDL web service descriptions. We have defined a set of OWL-s concepts that make it possible to express various pervasive service related prop...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Unified Framework for Developing Service-Oriented, Component-Based Distributed Software Systems
This chapter introduces the UniFrame approach to creating high quality computing systems from heterogeneous components distributed over a network. It describes how this approach employs a unifying framework for specifying such systems to unite the concepts of service-oriented architectures, a component-based software engineering methodology and a mechanism for automatically finding components o...
متن کاملSoftware Component Search based on Behavioral Specification
In this paper, we report on an ongoing project to develop search engines for software components hosted by object request brokers (ORBs). Behavioral specification based on hidden algebra is used to allow search by functionalities rather than syntactic features. An algebraic specification language system CafeOBJ is used to support automation such as signature matching, refinement verification, a...
متن کاملA three-level specification approach for an environment of software agents and Web services
This paper presents an approach for the specification of a software agent-based and Web service-oriented environment. A software agent is an autonomous entity that acts on user_s behalf. Whereas a Web service is an accessible application that other applications and humans can discover and trigger. Users in collaboration with their agents compose Web services into high-level business processes d...
متن کاملB2B Protocol Specification by Example Using WSDL and ebXML
The automation of business processes spanning organizations requires the formal specification of so-called B2B protocols, which define the interfaces of cooperating business software systems thereby enabling interoperability and loose coupling. Currently, there are two main approaches proposed for the specification of B2B protocols, the WSDLbased approach supporting Web Service languages, and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993